Formal systems - PDFSEARCH.IO - Document Search Engine

Formal systems
Results: 1365

#	Item
331	Chapter 13 Software Development Method M. A. Jackson It is a great pleasure to be able to contribute to a Festschrift in Tony Hoare’s honour. I have Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2001-10-09 19:38:32 Formal methods Systems engineering Turing machine Computability theory Problem frames approach Moving frame Frame language Frame Complexity Theoretical computer science Applied mathematics Science
332	Job description Project Manager Work location Add to Reading List Source URL: www.groupid.com Language: English - Date: 2012-05-10 15:56:04 Building engineering Technology Formal methods Computing Product lifecycle management Project manager Software development process Systems development life-cycle Project management Software engineering Management
333	PARSING AND CODE GENERATION TECHNIQUES TO DEAL WITH UNCERTAINTY: EXPERIENCES FROM HIGHLY-EVOLVING AND COMPLEX SYSTEMS Cedric Lemaire, BNPParibas, Paris - France Add to Reading List Source URL: www.dsmforum.org Language: English - Date: 2005-10-11 04:35:54 Compiler construction Formal languages Programming language implementation Domain-specific language C++ Parsing Domain-specific modeling Automatic programming Generic programming Software engineering Computing Computer programming
334	Genetic Algorithm Search for Predictive Patterns in Multidimensional Time Series Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-06-20 13:21:04 Formal sciences Cybernetics Science Computer programming Code Signal processing Regular expression Genetic algorithm Data mining Encodings Pattern matching Applied mathematics
335	The NL2KR Platform for building Natural Language Translation Systems Vo Nguyen, Arindam Mitra and Chitta Baral School of Computing, Informatics and Decision Systems Engineering Arizona State University {nguyen.h.vo, ami Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2015-04-29 23:47:18 Science Computational linguistics Meaning Semantics Natural language processing Speech recognition Parsing Machine translation Formal grammar Linguistics Logic Formal languages
336	Call for Papers Journal of Internet Technology (http://jit.niu.edu.tw/, Indexed by SCI-E) Special Issue on “Industrial Applications of Big Data and Internet of things” Theme and Scope Add to Reading List Source URL: jit.niu.edu.tw Language: English - Date: 2015-03-09 05:12:44 Formal sciences Database management systems Database theory Parallel computing Internet of Things Apache Hadoop MapReduce Data mining Cloud computing Computing Concurrent computing Data management
337	A Formal Embedding of AgentSpeak(L) in 3APL Koen Hindriks, Frank S. de Boer, Wiebe van der Hoek and John-Jules Ch. Meyer University Utrecht, Department of Computer Science P.O. Box, 3508 TB Utrecht, The Netherland Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 1998-12-14 07:37:21 Applied mathematics AgentSpeak Operational semantics Bisimulation Programming language Agent-based model State transition system 3APL Logic programming Multi-agent systems Computing Theoretical computer science
338	Evolution Complexity of the Elementary Cellular Automaton Rule 18 Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:36:39 Mathematical proof Pumping lemma for regular languages Formal languages Mathematics L-system
339	CCCG 2006, Kingston, Ontario, August 14–16, 2006 Computational Euclid M.H. van Emden We analyse the axioms of Euclidean geometry according Add to Reading List Source URL: cccg.ca Language: English - Date: 2008-10-27 22:59:28 Elementary geometry Surfaces Euclidean geometry Axiom Plane Line Mathematical logic Space Synthetic geometry Geometry Mathematics Formal systems
340	21st INTERNATIONAL CONFERENCE ON SYSTEMS RESEARCH, INFORMATICS & CYBERNETICS Add to Reading List Source URL: www.iias.edu Language: English - Date: 2011-10-12 13:59:14 Cybernetics Technology Robotics Multi-agent system Emerging technologies Agent-based model Artificial intelligence Science Formal sciences Knowledge

UPDATE